科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于代数模态逻辑的模拟和双模拟
机译:弱表达的代数模态逻辑的双仿真
机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
机译:关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
机译:代数模态逻辑的仿真和双仿真
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:情感理解的扩展仿真模型:不同模态身体状态仿真突出和发展轨迹的案例
机译:基于协调性 - 逆细化的分布量化模拟量化模拟延伸
机译:Coq中的代数推理:双模拟和Lambé-Coiteration方案
机译:用于在SFQ逻辑电路中,在SFQ逻辑电路中,在SFQ逻辑电路中,在SFQ逻辑电路中记录偏置电流模拟程序偏置电流模拟程序偏置电流模拟装置偏置电流模拟方法的记录介质
机译:逻辑仿真方法,逻辑仿真装置和存储逻辑仿真程序的计算机可读存储介质
机译:逻辑模拟方法,逻辑模拟装置和计算机可读存储介质存储逻辑模拟程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。